analytic tableaux